From d0aaf6018a71137f942e426249cfac04a7fed5ab Mon Sep 17 00:00:00 2001 From: "iap10@labyrinth.cl.cam.ac.uk" Date: Sat, 7 Aug 2004 14:33:41 +0000 Subject: [PATCH] bitkeeper revision 1.1159.1.8 (4114e84532jMbVgxayKe_J9XghOtWw) Allow vbd device names to be used with and without /dev/ prefix --- tools/python/xen/xend/XendDomainInfo.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/tools/python/xen/xend/XendDomainInfo.py b/tools/python/xen/xend/XendDomainInfo.py index 45da2c250f..fa5fd6b574 100644 --- a/tools/python/xen/xend/XendDomainInfo.py +++ b/tools/python/xen/xend/XendDomainInfo.py @@ -83,7 +83,9 @@ def blkdev_name_to_number(name): 'hda') and return the device number used by the OS. """ if not re.match( '^/dev/', name ): - n = '/dev/' + name + n = '/dev/' + name + else: + n = name try: return os.stat(n).st_rdev -- 2.30.2